Received interpretation. As far as I have been able to determine, all scholars who have dealt with this fragment have followed Plutarch in holding that.

This introductory chapter briefly surveys the main philosophical developments of the nineteenth century, contextualising the chapters that follow. Separate sections outline the principal elements of debate for each of the volume’s six sections: Logic and scientific method, metaphysics, science and philosophy, ethical, social and political thought, religious philosophy, and the practice of philosophy.

In the fields of metaphysics and epistemology, ethics and political thought, idealism can generate controversy and disagreement. This title is part of the Idealism series, which finds in idealism new features of interest and a perspective which is germane to our own philosophical concerns.

A major new source for research of the 19th century and history of ideas, this dictionary covers all of the major, and a range of the less well-known, thinkers and writers of the time.

Gelfond and Lifschitz proposed the notion of a stable model of a logic program. We establish that the set of all stable models in a Herbrand universe of a recursive logic program is, up to recursive renaming, the set of all infinite paths of a recursive, countably branching tree, and conversely. As a consequence, the problem, given a recursive logic program, of determining whether it has at least one stable model, is Σ11-complete. Due to the equivalences established in the authors' (...) previous nonmonotone rule systems papers ), this applies equally to truth maintenance systems and default logics. (shrink)